Model theory of modules
نویسنده
چکیده
The model theory of abelian groups was developed by Szmielew ([28] quantifier elimination and decidability) and Eklof & Fisher [4], who observed that K1saturated abelian groups are pure injective. Eklof & Fisher related the structure theory of pure injective abelian groups with their model theory. The extension of this theory to modules over arbitrary rings became possible after the work of Baur [l], Monk [14], Fisher [6] and Warfield [30]. Baur proved that for any fixed module A4 every formula is equivalent to a boolean combination of positive primitive formulas cp(x,, . . . , x,,) (which assert the solvability of
منابع مشابه
A Generalization of M-Small Modules
In this paper we introduce a generalization of M-small modules and discuss about the torsion theory cogenerated by this kind of modules in category . We will use the structure of the radical of a module in and get some suitable results about this class of modules. Also the relation between injective hull in and this kind of modules will be investigated in this article. For a module we show...
متن کاملRanks of modules relative to a torsion theory
Relative to a hereditary torsion theory $tau$ we introduce a dimension for a module $M$, called {em $tau$-rank of} $M$, which coincides with the reduced rank of $M$ whenever $tau$ is the Goldie torsion theory. It is shown that the $tau$-rank of $M$ is measured by the length of certain decompositions of the $tau$-injective hull of $M$. Moreover, some relations between the $tau$-rank of $M$ and c...
متن کاملGeneralized Local Homology Modules of Complexes
The theory of local homology modules was initiated by Matlis in 1974. It is a dual version of the theory of local cohomology modules. Mohammadi and Divaani-Aazar (2012) studied the connection between local homology and Gorenstein flat modules by using Gorenstein flat resolutions. In this paper, we introduce generalized local homology modules for complexes and we give several ways for computing ...
متن کاملON PROJECTIVE L- MODULES
The concepts of free modules, projective modules, injective modules and the likeform an important area in module theory. The notion of free fuzzy modules was introducedby Muganda as an extension of free modules in the fuzzy context. Zahedi and Ameriintroduced the concept of projective and injective L-modules. In this paper we give analternate definition for projective L-modules. We prove that e...
متن کاملUniformly Secondary Modules over Commutative Ring
In [2] the notion of “uniformly ideal” was introduced and developed the basic theory. In this article we introduce and advance a theory which, in a sense, dual to that i.e, the notion of “uniformly secondary module”.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Ann. Pure Appl. Logic
دوره 26 شماره
صفحات -
تاریخ انتشار 1984